<html>
  <head>
    <title>Code coverage for the Jtemplate interpreter</title>
    <link rel="stylesheet" type="text/css" href="style.css">
    <script type="text/javascript">
      <!--
        function jump(id) {
          document.body.scrollTop = document.all[id].offsetTop;
        }
      -->
    </script>
    <script language="javascript" src="file0012.js"></script>
  </head>
  <body>
    <div class="section">File: build/lexer.mll (<a href="index.html">return to index</a>)</div>
    <br/>
    <hr class="codeSep"/>
    <br/>
    <table>
      <tr>
        <td valign="top" class="section">Statistics:&nbsp;&nbsp;</td>
        <td valign="top">
          <table class="simple">
            <tr><th>kind</th><th width="16px">&nbsp;</th><th>coverage</th></tr>
            <tr><td>binding</td><td width="16px">&nbsp;</td><td>7 / 8 (87 %)</td></tr>
            <tr><td>sequence</td><td width="16px">&nbsp;</td><td>4 / 8 (50 %)</td></tr>
            <tr><td>for</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>if/then</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>try</td><td width="16px">&nbsp;</td><td>2 / 2 (100 %)</td></tr>
            <tr><td>while</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>match/function</td><td width="16px">&nbsp;</td><td>75 / 90 (83 %)</td></tr>
          </table>
        </td>
        <td valign="top">
          <table class="simple">
            <tr><th>kind</th><th width="16px">&nbsp;</th><th>coverage</th></tr>
            <tr><td>class expression</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>class initializer</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>class method</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>class value</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>toplevel expression</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>lazy operator</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
          </table>
        </td>
      </tr>
    </table>
    <br/>
    <hr class="codeSep"/>
    <br/>
    <div class="section">Source:</div>
    <br/>
<div style="font-size: smaller;"><a href="javascript:foldAll();">fold all</a> <a href="javascript:unfoldAll();">unfold all</a></div>
    <code>
      <div id="fold000001">
      <div id="line000001" class="lineNone"><a href="javascript:fold('fold000001');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000001| {</div>
      <div id="line000002" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000002| </div>
      <div id="line000003" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000003| (**</div>
      <div id="line000004" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000004| This&nbsp;program&nbsp;is&nbsp;free&nbsp;software;&nbsp;you&nbsp;can&nbsp;redistribute&nbsp;it&nbsp;and&nbsp;/&nbsp;or&nbsp;modify</div>
      <div id="line000005" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000005| it&nbsp;under&nbsp;the&nbsp;terms&nbsp;of&nbsp;the&nbsp;GNU&nbsp;General&nbsp;Public&nbsp;License&nbsp;as&nbsp;published&nbsp;by</div>
      <div id="line000006" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000006| the&nbsp;Free&nbsp;Software&nbsp;Foundation;&nbsp;version&nbsp;3&nbsp;of&nbsp;the&nbsp;License.</div>
      <div id="line000007" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000007| </div>
      <div id="line000008" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000008| This&nbsp;program&nbsp;is&nbsp;distributed&nbsp;in&nbsp;the&nbsp;hope&nbsp;that&nbsp;it&nbsp;will&nbsp;be&nbsp;useful,</div>
      <div id="line000009" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000009| but&nbsp;WITHOUT&nbsp;ANY&nbsp;WARRANTY;&nbsp;without&nbsp;even&nbsp;the&nbsp;implied&nbsp;warranty&nbsp;of</div>
      <div id="line000010" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000010| MERCHANTABILITY&nbsp;or&nbsp;FITNESS&nbsp;FOR&nbsp;A&nbsp;PARTICULAR&nbsp;PURPOSE.&nbsp;See&nbsp;the</div>
      <div id="line000011" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000011| GNU&nbsp;General&nbsp;Public&nbsp;License&nbsp;for&nbsp;more&nbsp;details.</div>
      <div id="line000012" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000012| </div>
      <div id="line000013" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000013| Jtemplate&nbsp;lexer</div>
      <div id="line000014" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000014| </div>
      <div id="line000015" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000015| @author&nbsp;Tony&nbsp;BenBrahim&nbsp;&lt;&nbsp;tony.benbrahim&nbsp;at&nbsp;gmail.com&nbsp;&gt;</div>
      <div id="line000016" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000016| </div>
      <div id="line000017" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000017| *)</div>
      <div id="line000018" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000018| </div>
      <div id="line000019" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000019| open&nbsp;RuntimeError</div>
      <div id="line000020" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000020| open&nbsp;Parser</div>
      <div id="line000021" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000021| open&nbsp;Ast</div>
      <div id="line000022" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000022| </div>
      <div id="line000023" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000023| (*&nbsp;from&nbsp;http://plus.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamllex-tutorial.pdf&nbsp;,&nbsp;p.9&nbsp;*)</div>
      <div id="line000024" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000024| let&nbsp;incr_linenum&nbsp;lexbuf&nbsp;=</div>
      <div id="line000025" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000025| &nbsp;&nbsp;&nbsp;&nbsp;let&nbsp;pos&nbsp;=&nbsp;lexbuf.Lexin(*[3024]*)g.lex_curr_p&nbsp;in</div>
      <div id="line000026" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000026| &nbsp;&nbsp;&nbsp;&nbsp;lexbuf.Lexing.lex_curr(*[3024]*)_p&nbsp;&lt;-&nbsp;{&nbsp;pos&nbsp;with</div>
      <div id="line000027" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000027| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Lexing.pos_lnum&nbsp;=&nbsp;pos.Lexing.pos_lnum&nbsp;+&nbsp;1;</div>
      <div id="line000028" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000028| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Lexing.pos_bol&nbsp;=&nbsp;pos.Lexing.pos_cnum;</div>
      <div id="line000029" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000029| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}</div>
      <div id="line000030" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000030| </div>
      <div id="line000031" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000031| let&nbsp;syntax_exception&nbsp;msg&nbsp;lexbuf=</div>
      </div>
      <div id="line000032" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000032| &nbsp;&nbsp;&nbsp;&nbsp;raise&nbsp;(LexerException&nbsp;(*[0]*)(msg,&nbsp;lexbuf.Lexing.lex_curr_p.Lexing.pos_lnum,</div>
      <div id="fold000033">
      <div id="line000033" class="lineNone"><a href="javascript:fold('fold000033');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000033| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;lexbuf.Lexing.lex_curr_p.Lexing.pos_cnum&nbsp;-&nbsp;lexbuf.Lexing.lex_curr_p.Lexing.pos_bol))</div>
      <div id="line000034" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000034| </div>
      <div id="line000035" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000035| let&nbsp;map_id&nbsp;name=</div>
      <div id="line000036" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000036| &nbsp;&nbsp;&nbsp;&nbsp;match&nbsp;name&nbsp;with</div>
      <div id="line000037" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000037| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&quot;foreach&quot;&nbsp;-&gt;&nbsp;FOREACH</div>
      <div id="line000038" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000038| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;in&quot;&nbsp;-&gt;(*[22]*)&nbsp;IN</div>
      <div id="line000039" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000039| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;while&quot;&nbsp;-&gt;&nbsp;W(*[22]*)HILE</div>
      <div id="line000040" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000040| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;function(*[14]*)&quot;&nbsp;-&gt;&nbsp;FUNCTION</div>
      <div id="line000041" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000041| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;if&quot;&nbsp;-(*[346]*)&gt;&nbsp;IF</div>
      <div id="line000042" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000042| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;else&quot;&nbsp;-&gt;&nbsp;EL(*[36]*)SE</div>
      <div id="line000043" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000043| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;template&quot;(*[14]*)&nbsp;-&gt;&nbsp;TEMPLATE</div>
      <div id="line000044" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000044| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;instr(*[4]*)uctions&quot;&nbsp;-&gt;INSTRUCTIONS</div>
      <div id="line000045" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000045| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;c(*[2]*)ontinue&quot;&nbsp;-&gt;&nbsp;CONTINUE</div>
      <div id="line000046" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000046| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;break(*[8]*)&quot;&nbsp;-&gt;&nbsp;BREAK</div>
      <div id="line000047" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000047| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;return&quot;&nbsp;(*[16]*)-&gt;&nbsp;RETURN</div>
      <div id="line000048" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000048| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;for&quot;&nbsp;-&gt;(*[440]*)&nbsp;FOR</div>
      <div id="line000049" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000049| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;once&quot;&nbsp;-&gt;&nbsp;O(*[24]*)NCE</div>
      </div>
      <div id="line000050" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000050| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;when&quot;&nbsp;-&gt;&nbsp;(*[0]*)WHEN</div>
      <div id="line000051" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000051| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;var&quot;&nbsp;-&gt;&nbsp;V(*[0]*)AR</div>
      <div id="fold000052">
      <div id="line000052" class="lineAllVisited"><a href="javascript:fold('fold000052');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000052| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;let&quot;&nbsp;-&gt;&nbsp;VA(*[194]*)R</div>
      <div id="line000053" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000053| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;true&quot;&nbsp;-&gt;&nbsp;B(*[218]*)OOLEAN(true)</div>
      <div id="line000054" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000054| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;(*[148]*)false&quot;&nbsp;-&gt;&nbsp;BOOLEAN(false)</div>
      <div id="line000055" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000055| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;(*[124]*)&quot;Void&quot;&nbsp;&nbsp;-&gt;&nbsp;VOID</div>
      <div id="line000056" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000056| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;import&quot;&nbsp;-(*[12]*)&gt;&nbsp;IMPORT(false)</div>
      <div id="line000057" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000057| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;(*[18]*)use&quot;&nbsp;-&gt;&nbsp;IMPORT(true)</div>
      </div>
      <div id="line000058" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000058| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;s(*[0]*)witch&quot;&nbsp;-&gt;&nbsp;SWITCH</div>
      <div id="fold000059">
      <div id="line000059" class="lineAllVisited"><a href="javascript:fold('fold000059');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000059| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;case&quot;&nbsp;-(*[14]*)&gt;&nbsp;CASE</div>
      <div id="line000060" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000060| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;default&quot;&nbsp;(*[30]*)-&gt;&nbsp;DEFAULT</div>
      <div id="line000061" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000061| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;try&quot;&nbsp;-(*[14]*)&gt;&nbsp;TRY</div>
      <div id="line000062" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000062| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;catch&quot;&nbsp;-&gt;&nbsp;(*[106]*)CATCH</div>
      <div id="line000063" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000063| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;finally&quot;(*[98]*)&nbsp;-&gt;&nbsp;FINALLY</div>
      <div id="line000064" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000064| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&quot;throw&quot;(*[8]*)&nbsp;-&gt;&nbsp;THROW</div>
      <div id="line000065" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000065| &nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;_&nbsp;-&gt;&nbsp;&nbsp;ID((*[12]*)name)&nbsp;&nbsp;&nbsp;</div>
      <div id="line000066" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000066| }</div>
      <div id="line000067" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000067| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[2742]*)&nbsp;&nbsp;</div>
      <div id="line000068" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000068| let&nbsp;digit&nbsp;=&nbsp;['0'-'9']</div>
      <div id="line000069" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000069| let&nbsp;id&nbsp;=&nbsp;['a'-'z'&nbsp;'A'-'Z'&nbsp;'_'&nbsp;'$']['A'-'Z'&nbsp;'a'-'z'&nbsp;'0'-'9'&nbsp;'_'&nbsp;'$'&nbsp;]*</div>
      <div id="line000070" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000070| let&nbsp;whitespace&nbsp;=&nbsp;['\r'&nbsp;'\t'&nbsp;'&nbsp;']</div>
      <div id="line000071" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000071| let&nbsp;text&nbsp;=&nbsp;'#'[^'\n']*</div>
      <div id="line000072" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000072| let&nbsp;float&nbsp;=&nbsp;((&nbsp;(['0'-'9']+'.'['0'-'9']*)&nbsp;|&nbsp;(['0'-'9']*'.'['0'-'9']+)&nbsp;)&nbsp;('e'['+'&nbsp;'-']?['0'-'9']+)?&nbsp;)&nbsp;|&nbsp;(['0'-'9']+&nbsp;('e'['+'&nbsp;'-']?['0'-'9']+))</div>
      <div id="line000073" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000073| </div>
      <div id="line000074" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000074| rule&nbsp;main&nbsp;=&nbsp;parse&nbsp;</div>
      <div id="line000075" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000075| |&nbsp;whitespace&nbsp;{&nbsp;main&nbsp;lexbuf&nbsp;}</div>
      <div id="line000076" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000076| |&nbsp;text&nbsp;as&nbsp;token&nbsp;{&nbsp;TEXT(String.sub&nbsp;token&nbsp;1&nbsp;((String.length&nbsp;token)&nbsp;-&nbsp;1))}</div>
      <div id="line000077" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000077| |&nbsp;digit+&nbsp;as&nbsp;token&nbsp;{&nbsp;try&nbsp;&nbsp;INT(&nbsp;int_of_string&nbsp;token)&nbsp;with&nbsp;_&nbsp;-&gt;&nbsp;OUTOFRANGENUMBER&nbsp;}</div>
      <div id="line000078" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000078| |&nbsp;float&nbsp;as&nbsp;token&nbsp;{&nbsp;try&nbsp;REAL(float_of_string&nbsp;token)&nbsp;with&nbsp;_&nbsp;-&gt;&nbsp;OUTOFRANGENUMBER&nbsp;}</div>
      <div id="line000079" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000079| |&nbsp;id&nbsp;as&nbsp;token&nbsp;{&nbsp;(map_id&nbsp;token&nbsp;)}</div>
      <div id="line000080" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000080| |&nbsp;'\''&nbsp;{&nbsp;single_quote_string&nbsp;&quot;&quot;&nbsp;lexbuf&nbsp;}&nbsp;</div>
      <div id="line000081" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000081| |&nbsp;'&quot;'&nbsp;{&nbsp;double_quote_string&nbsp;&quot;&quot;&nbsp;lexbuf&nbsp;}</div>
      <div id="line000082" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000082| |&nbsp;&quot;//&quot;&nbsp;[^'\n']*&nbsp;{&nbsp;main&nbsp;lexbuf}</div>
      <div id="line000083" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000083| |&nbsp;&quot;/*&quot;&nbsp;{multiline_comment&nbsp;lexbuf}</div>
      <div id="line000084" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000084| |&nbsp;'\n'&nbsp;{&nbsp;incr_linenum&nbsp;lexbuf;main&nbsp;lexbuf&nbsp;}</div>
      <div id="line000085" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000085| |&nbsp;&quot;&amp;&amp;&quot;&nbsp;{AND}</div>
      <div id="line000086" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000086| |&nbsp;&quot;||&quot;&nbsp;{OR}</div>
      <div id="line000087" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000087| |&nbsp;&quot;&lt;&quot;&nbsp;{COMPOP(LessThan)}</div>
      <div id="line000088" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000088| |&nbsp;&quot;&gt;&quot;&nbsp;{COMPOP(GreaterThan)}</div>
      <div id="line000089" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000089| |&nbsp;&quot;&lt;=&quot;&nbsp;{COMPOP(LessThanEqual)}</div>
      <div id="line000090" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000090| |&nbsp;&quot;&gt;=&quot;&nbsp;{COMPOP(GreaterThanEqual)}</div>
      <div id="line000091" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000091| |&nbsp;&quot;==&quot;&nbsp;{COMPOP(Equal)}</div>
      <div id="line000092" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000092| |&nbsp;&quot;!=&quot;&nbsp;{COMPOP(NotEqual)}</div>
      <div id="line000093" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000093| |&nbsp;&quot;...&quot;&nbsp;{DOTDOTDOT}</div>
      <div id="line000094" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000094| |&nbsp;&quot;+=&quot;&nbsp;{PLUSEQUALS}</div>
      <div id="line000095" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000095| |&nbsp;&quot;-=&quot;&nbsp;{MINUSEQUALS}</div>
      <div id="line000096" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000096| |&nbsp;&quot;*=&quot;&nbsp;{TIMESEQUALS}</div>
      <div id="line000097" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000097| |&nbsp;&quot;/=&quot;&nbsp;{DIVEQUALS}</div>
      <div id="line000098" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000098| |&nbsp;&quot;%=&quot;&nbsp;{MODEQUALS}</div>
      <div id="line000099" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000099| |&nbsp;&quot;++&quot;&nbsp;{PLUSPLUS}</div>
      <div id="line000100" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000100| |&nbsp;&quot;--&quot;&nbsp;{MINUSMINUS}</div>
      <div id="line000101" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000101| |&nbsp;'='&nbsp;{EQUALS}&nbsp;</div>
      <div id="line000102" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000102| |&nbsp;'.'&nbsp;{DOT}</div>
      <div id="line000103" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000103| |&nbsp;'{'&nbsp;{LBRACE}</div>
      <div id="line000104" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000104| |&nbsp;'}'&nbsp;{RBRACE}</div>
      <div id="line000105" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000105| |&nbsp;'('&nbsp;{LPAREN}</div>
      <div id="line000106" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000106| |&nbsp;')'&nbsp;{RPAREN}</div>
      <div id="line000107" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000107| |&nbsp;'['&nbsp;{LBRACKET}</div>
      <div id="line000108" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000108| |&nbsp;']'&nbsp;{RBRACKET}</div>
      <div id="line000109" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000109| |&nbsp;','&nbsp;{COMMA}&nbsp;</div>
      <div id="line000110" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000110| |&nbsp;';'&nbsp;{SEMICOLON}</div>
      <div id="line000111" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000111| |&nbsp;':'&nbsp;{COLON}</div>
      <div id="line000112" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000112| |&nbsp;'!'&nbsp;{NOT}</div>
      <div id="line000113" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000113| |&nbsp;'?'&nbsp;{QUESTION}</div>
      <div id="line000114" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000114| |&nbsp;'+'&nbsp;{PLUS}</div>
      <div id="line000115" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000115| |&nbsp;'-'&nbsp;{MINUS}</div>
      <div id="line000116" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000116| |&nbsp;'*'&nbsp;{TIMES}</div>
      <div id="line000117" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000117| |&nbsp;'/'&nbsp;{DIVIDE}</div>
      <div id="line000118" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000118| |&nbsp;'%'&nbsp;{MODULO}</div>
      <div id="line000119" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000119| |&nbsp;'@'&nbsp;{AT}</div>
      <div id="line000120" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000120| |&nbsp;_&nbsp;as&nbsp;c&nbsp;{&nbsp;syntax_exception&nbsp;(&quot;Invalid&nbsp;character&nbsp;&quot;^String.make&nbsp;1&nbsp;c)&nbsp;lexbuf}&nbsp;</div>
      <div id="line000121" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000121| |&nbsp;eof&nbsp;{&nbsp;EOF&nbsp;}&nbsp;</div>
      <div id="line000122" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000122| and&nbsp;single_quote_string&nbsp;s&nbsp;=&nbsp;parse</div>
      <div id="line000123" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000123| |&nbsp;'\n'&nbsp;&nbsp;{&nbsp;incr_linenum&nbsp;lexbuf;&nbsp;single_quote_string&nbsp;(s&nbsp;^&nbsp;&quot;\n&quot;)&nbsp;lexbuf&nbsp;}</div>
      <div id="line000124" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000124| |&nbsp;'\''&nbsp;&nbsp;{&nbsp;STRING(s)&nbsp;}</div>
      <div id="line000125" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000125| |&nbsp;'\\'&nbsp;{&nbsp;single_quote_string&nbsp;(s&nbsp;^&nbsp;(escape_char&nbsp;lexbuf))&nbsp;lexbuf&nbsp;}</div>
      <div id="line000126" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000126| |&nbsp;[^&nbsp;'\'']&nbsp;as&nbsp;c&nbsp;&nbsp;{&nbsp;single_quote_string&nbsp;(s&nbsp;^&nbsp;String.make&nbsp;1&nbsp;c)&nbsp;lexbuf&nbsp;}</div>
      <div id="line000127" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000127| |&nbsp;eof&nbsp;&nbsp;{&nbsp;syntax_exception&nbsp;&quot;Unterminated&nbsp;string&nbsp;constant&quot;&nbsp;lexbuf&nbsp;}</div>
      <div id="line000128" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000128| and&nbsp;double_quote_string&nbsp;s&nbsp;=&nbsp;parse</div>
      <div id="line000129" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000129| |&nbsp;'\n'&nbsp;&nbsp;{&nbsp;incr_linenum&nbsp;lexbuf;&nbsp;double_quote_string&nbsp;(s&nbsp;^&nbsp;&quot;\n&quot;)&nbsp;lexbuf&nbsp;}</div>
      <div id="line000130" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000130| |&nbsp;'&quot;'&nbsp;&nbsp;{&nbsp;STRING(s)&nbsp;}</div>
      <div id="line000131" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000131| |&nbsp;'\\'&nbsp;{&nbsp;double_quote_string&nbsp;(s&nbsp;^&nbsp;(escape_char&nbsp;lexbuf))&nbsp;lexbuf&nbsp;}</div>
      <div id="line000132" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000132| |&nbsp;[^&nbsp;'&quot;']&nbsp;as&nbsp;c&nbsp;&nbsp;{&nbsp;double_quote_string&nbsp;(s&nbsp;^&nbsp;String.make&nbsp;1&nbsp;c)&nbsp;lexbuf&nbsp;}</div>
      <div id="line000133" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000133| |&nbsp;eof&nbsp;&nbsp;{&nbsp;syntax_exception&nbsp;&quot;Unterminated&nbsp;string&nbsp;constant&quot;&nbsp;lexbuf&nbsp;}</div>
      <div id="line000134" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000134| and&nbsp;escape_char&nbsp;=parse</div>
      <div id="line000135" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000135| |&nbsp;'\\'&nbsp;{&quot;\\&quot;}</div>
      <div id="line000136" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000136| |&nbsp;'n'&nbsp;&nbsp;{&quot;\n&quot;}</div>
      <div id="line000137" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000137| |&nbsp;'r'&nbsp;&nbsp;{&quot;\r&quot;}</div>
      <div id="line000138" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000138| |&nbsp;'\''&nbsp;{&quot;'&quot;}</div>
      <div id="line000139" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000139| |&nbsp;'&quot;'&nbsp;{&quot;\&quot;&quot;}</div>
      <div id="line000140" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000140| |&nbsp;'t'&nbsp;&nbsp;{&quot;\t&quot;}</div>
      <div id="line000141" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000141| |&nbsp;'b'&nbsp;&nbsp;{&quot;\b&quot;}&nbsp;</div>
      <div id="line000142" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000142| and&nbsp;multiline_comment&nbsp;=&nbsp;parse</div>
      <div id="line000143" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000143| |&nbsp;'\n'&nbsp;{&nbsp;incr_linenum&nbsp;lexbuf;&nbsp;multiline_comment&nbsp;lexbuf&nbsp;}</div>
      <div id="line000144" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000144| |&nbsp;&quot;*/&quot;&nbsp;{&nbsp;main&nbsp;lexbuf&nbsp;}</div>
      <div id="line000145" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000145| |&nbsp;[^&nbsp;'\n']&nbsp;{&nbsp;multiline_comment&nbsp;lexbuf}</div>
      <div id="line000146" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000146| |&nbsp;eof&nbsp;{&nbsp;syntax_exception&nbsp;&quot;Unterminated&nbsp;multiline&nbsp;comment&quot;&nbsp;lexbuf&nbsp;}&nbsp;</div>
      </div>
    </code>
    <br/>
    <div id="navigator" style="border: solid black 1px; position: fixed; z-index:100; right: 10px; top: 10px; bottom: 10px; width: 16px;">
      <table width="100%" height="100%" border="0" cellspacing="0">
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000032');" title="jump to line 32"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000050');" title="jump to line 50"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000051');" title="jump to line 51"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000058');" title="jump to line 58"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
      </table>
    </div>
    <div class="section">Legend:</div>
    &nbsp;&nbsp;&nbsp;<span class="lineNone">some code</span>&nbsp;-&nbsp;line containing no point<br/>
    &nbsp;&nbsp;&nbsp;<span class="lineAllVisited">some code</span>&nbsp;-&nbsp;line containing only visited points<br/>
    &nbsp;&nbsp;&nbsp;<span class="lineAllUnvisited">some code</span>&nbsp;-&nbsp;line containing only unvisited points<br/>
    &nbsp;&nbsp;&nbsp;<span class="lineMixed">some code</span>&nbsp;-&nbsp;line containing both visited and unvisited points<br/>
    <br/>
    <hr class="codeSep"/>
    <p class="footer">Generated by <a href="http://bisect.x9c.fr">Bisect 1.0-beta</a> on 2009-08-04 01:23:19</p>
  </body>
</html>
